CS256: Programming Languages and Semantics Introduction to Axiomatic Semantics http://www.eecs.harvard.edu/~ greg/cs256sp2006/ Greg Morrisett

Source URL: www.eecs.harvard.edu

Microsoft Word - SIGOPS Annual Report 2007.docx

Source URL: www.sigops.org

• Computer science
• Dijkstra Prize
• Distributed computing
• International Conference on Architectural Support for Programming Languages and Operating Systems
• Symposium on Principles of Distributed Computing
• Conference on Embedded Networked Sensor Systems
• Mutual exclusion
• Keith Marzullo
• Lock
• Concurrent computing
• Concurrency control
• Computing

McCormick Northwestern Engineering Department of Electrical Engineering and Computer Science EECS 211(B) – Object-Oriented Programming with C++ Winter 2012 Quarter Instructor: Goce Trajcevski

Source URL: www.ece.northwestern.edu

• Object-oriented programming
• Cross-platform software
• Procedural programming languages
• Scripting languages
• Programming paradigms
• C++
• Programming language
• C
• D
• Software engineering
• Computing
• Computer programming

SIGOPS Annual Report 2010 Fiscal Year July 2009-June 2010 Submitted by Doug Terry, SIGOPS Chair Overview SIGOPS continues to be a vibrant community of people with interests in “operating systems” in the

Source URL: www.sigops.org

• International Conference on Architectural Support for Programming Languages and Operating Systems
• ACM SIGACT
• Conference on Embedded Networked Sensor Systems
• Symposium on Principles of Distributed Computing
• Dijkstra Prize
• Mark Weiser
• SIGMOBILE
• SIGMOD
• Computer science
• Computing
• Symposium on Operating Systems Principles

Exploring Circuit Timing-aware Languages and Compilation Giang Hoang Robert Bruce Findler Russ Joseph

Source URL: www.eecs.northwestern.edu

• Software
• Compiler construction
• Compiler optimization
• Instruction scheduling
• Dynamic random-access memory
• Compiler
• Program optimization
• Formal methods
• Programming language implementation
• Software engineering
• Computing

Emerson: Scripting for Federated Virtual Worlds Bhupesh Chandra∗ , Ewen Cheslack-Postava∗ , Behram F.T. Mistree∗ , Philip Levis∗ , and David Gay† ∗ Stanford University Email: {bhupc, ewencp, bmistree}@stanfor

Source URL: www.sirikata.com

• Scripting languages
• Object-oriented programming
• Event
• Smalltalk
• Second Life
• Actor model
• JavaScript
• Ralph Waldo Emerson
• Self
• Computing
• Software engineering
• Computer programming

Nav and Control Software RevComments/corrections to Alex Brown The Nav and Control software provides several functions for the Leaf robots: communications with the microcontroller; receiving data

Source URL: www.leafproject.org

• Functional languages
• Lisp programming language
• Embedded systems
• Lisp
• Robotics
• Forth
• Microcontroller
• Batch file
• Logo
• Computing
• Software engineering
• Programming language theory

Tamarin and ECMAScript 4 John Resig (ejohn.org) Mozilla Corporation The Big Picture ECMAScript 3

Source URL: ejohn.org

• Scripting languages
• Cross-platform software
• Mozilla
• JavaScript engines
• ECMAScript
• Virtual machines
• JavaScript
• Tamarin
• KJS
• Software
• Computing
• Computer programming

BRICS DS-05-2 J. Iversen: Formalisms and tools supporting Constructive Action Semantics BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Programming language semantics
• Action semantics
• Formal languages
• Peter Mosses
• Programming language
• SYNTAX
• ASF+SDF Meta Environment
• Programming language theory
• Theoretical computer science
• Software engineering

Seeing the Futures: Profiling Shared-Memory Parallel Racket James Swaine Northwestern University Burke Fetscher

Source URL: www.ccs.neu.edu

• Functional languages
• Digital signal processing
• Parallel computing
• Application programming interfaces
• Racket
• Fast Fourier transform
• Futures and promises
• Cooley–Tukey FFT algorithm
• Append
• Computing
• Computer programming
• Software engineering